....doc 关键词 : 软件安全;语言设计;类型系统;Hoare逻辑;指针逻辑 [gap=1224]Key words: software safety; language design; type systems; Hoare logic; pointer logic ...
基于122个网页-相关网页
language design rules 语言设计规则
programming language design 语言设计 ; [计] 程序设计语言设计 ; 㩰 ; 冲
language design criteria 语言设计准则
Computer advanced language design 计算机高级语言设计
C Programming Language Design C语言程序设计
assembler language design 汇编语言程序设计
High-level computer language design 计算机高级语言设计
There was a language design team, and they were God.
那时有个语言设计小组,小组里面的人就是上帝。
Also read about its ACM Award in 1998 for language design.
还可以了解在1998年因语言设计而获得的acm奖。
His research includes programming language design, implementation and theory.
他的研究领域包括编程语言的设计、实现和理论。
Apple wants a new language for Web page design, called HTML 5.
VOA: special.2010.06.22
Which is an unfortunate design decision made many years ago with this particular language.
正是因为用该语言写出来这些,粗糙的设计理念,纷繁的细节。
Well, basically because it was a design choice when the creators of Python decided to create the language, they basically said, we're always going to have an explicit pointer to the instance.
好,基本上来说这是因为,这是当Python的创造者,决定创造这门语言的时候,的一个设计决定,他们主要的说了说,我们要有一个明确的,指向实例的指针。
应用推荐